Peter Koymans adalah seorang matematikawan di Universitas Utrecht yang telah lama tertarik pada masalah ke-10 Hilbert. Ia bersama rekannya, Carlo Pagano, berhasil membuktikan bahwa masalah tersebut tetap tidak dapat diputuskan untuk setiap cincin bilangan.